:- multifile(rtype/1).
:- multifile(rfun/3).
:- multifile(rpred/2).
type(integer).
type(real).
rpred(true,[]).
rfun('§',[],_).
rtype(integer(0)).
rtype(real(0)).

:- multifile(pred/1).
:- multifile(type/1).

